Combining test case generation and runtime verification
نویسندگان
چکیده
منابع مشابه
Combining test case generation and runtime verification
Software testing is typically an ad-hoc process where human testers manually write test inputs and descriptions of expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports results on a framework to further automate this process. The framework consists of combining automated test case generation based on systematic...
متن کاملCombining Testing and Runtime Verification Techniques
Testing is an established and integral part of the system design and development process, but incomplete coverage still leaves room for potential undiscovered bugs. Runtime verification addresses this issue by integrating verification oracles into the code, allowing for reparatory action to be taken in case of system failure after deployment. Despite the complementarity of the two approaches, t...
متن کاملCombining Structural and Functional Test Case Generation
Model-based testing uses a test model which defines in general an infinite set of correct system runs. The task for the test case generator is to select an ”interesting” subset of all the traces. The way this subset is chosen is defined by the test case specification. Two types are widely used: structural or functional test case specifications. The first is given in terms over the model element...
متن کاملCombining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, such as general-purpose operating systems and software libraries, and when the properties of interest include security and performance. The challenge is to find reliable ways to monitor these properties in realistic sy...
متن کاملExperiments with Test Case Generation and Runtime Analysis
Software testing is typically an ad hoc process where human testers manually write many test inputs and expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports preliminary results on an approach to further automate this process. The approach consists of combining automated test case generation based on systematic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.11.007